On incommensurable angles
نویسندگان
چکیده
منابع مشابه
Temporal logics with incommensurable distances are undecidable
Temporal logic based on the two modalities “Since” and “Until” (TL) is the most popular logic for the specification of reactive systems. It is often called the linear time temporal logic. However, metric properties of real time cannot be expressed in this logic. The simplest modalities with metric properties are “X will happen within units of time”. The extension of TL by all these modalities w...
متن کاملMerging Incommensurable Possibilistic DL-Lite Assertional Bases
This short paper studies the problem of merging of different independent data sources linked to a lightweight ontology under the incommensurability assumption. In general, data are often provided by several and potentially conflicting sources of information having different levels of priority. To encode prioritized assertional bases, we use possibilistic DLLite logic. We investigate an egalitar...
متن کاملMeasures on Mixing Angles
We address the problem of the apparently very small magnitude of CP violation in the standard model, measured by the Jarlskog invariant J . In order to make statements about probabilities for certain values of J , we seek to find a natural measure on the space of Kobayashi-Maskawa matrices, the double quotient U(1)\SU(3)/U(1). We review several possible, geometrically motivated choices of the m...
متن کاملA Note on Digitized Angles
When I looked at them, I was sure that there must be a bug either in IDEAL or in the TROFF processor that typeset the IDEAL output, because the long shafts of the arrows did not properly bisect the angle made by the two short lines of the arrowheads. The shafts seemed to be drawn one pixel too high or too low. Chris spent many hours together with Brian Kernighan trying to find out what was wron...
متن کاملOn Generalized Dual Euler Angles
This paper first explores the generalization of Euler angles to the case in which the rotation axes are not necessarily members of an orthonormal triad, and presents a concise solution to their computation that relies on the calculation of standard Euler angles. Then, this generalization is taken one step further by introducing translations, that is, by defining generalized Euler angles about s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Časopis pro pěstování matematiky a fysiky
سال: 1923
ISSN: 1802-114X
DOI: 10.21136/cpmf.1923.123259